Sapozhnikov Valery V., Efanov Dmitry V., Sapozhnikov Vladimir V., Osadchy German V. «The synthesis of integrated check circuits based on the boolean complement method with the preliminary compression of the operating functions signals» // Tomsk State University Journal of Control and Computer Science 2021. №54 C.97-115